[[Category theory MOC]]
# Ordinal category

Let $\alpha$ be an [[ordinal number]].
The **ordinal category** $\underline \alpha$, is the [[Small category]] resulting from regarding $\alpha$ as a [[Posets as categories|poset-as-category]].
Particular examples include [[Empty category]], [[Trivial category]], and [[Interval category]].

#
---
#state/tidy | #lang/en | #SemBr